ortho-k lenses and thinner spectacles